下限 (inf)